deadlock new abrams model